Action, Belief Change and the Frame Problem: A Fluent Calculus Approach
نویسنده
چکیده
This paper develops a solution to the analogue of the frame problem that arises when the belief state of an agent is axiomatized in the presence of belief changing actions. It follows the work of Scherl and Levesque which adapted the approach to the frame problem of Reiter to the case of the analogue of the frame problem that arises when knowledge and knowledge producing actions are added to the situation calculus. For the case of belief, it is necessary to use the somewhat more expressive relative of the situation calculus, the fluent calculus which is a formalism that allows quantification over states and fluents.
منابع مشابه
Representing Beliefs in the Fluent Calculus
Action formalisms like the ¤uent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strategies, and to plan. In this paper we extend the ¤uent calculus by a method for belief change, which allows agents to revise their internal model upon making observations that contradict this model. Unlike the existing com...
متن کاملContinuous Processes in the Fluent Calculus
Among the known predicate calculus formalisms for axiomatizing commonsense reasoning about actions, the Fluent Calculus stands out in offering a solution not only to the representational but also the inferential aspect of the fundamental Frame Problem. In this paper we extend this formalism to modeling hybrid systems, which involve both discrete and continuous change. We borrow basic notions fr...
متن کاملTheories of Intentions in the Framework of Situation Calculus
We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted to consider the new components. The intention theories take account of the BDI (Belief-Desire-Intention) architecture. In order to avoid the computational complexity of theorem proving in modal logic, we explore an alternative a...
متن کاملIntegrating State Constraints and Obligations in Situation Calculus
The ramification problem concerns the characterisation of indirect effects of actions. This problem arises when a theory of action is integrated with a set of state constraints. So integrating state constraints to a solution of the frame problem must deal with the ramification problem. In the situation calculus a general solution to both the frame and ramification problems has been proposed. Th...
متن کاملAction Change Detection in Video Based on HOG
Background and Objectives: Action recognition, as the processes of labeling an unknown action of a query video, is a challenging problem, due to the event complexity, variations in imaging conditions, and intra- and inter-individual action-variability. A number of solutions proposed to solve action recognition problem. Many of these frameworks suppose that each video sequence includes only one ...
متن کامل